FDL - Nuprl Definition : ecl-max

Nuprl Definition : ecl-max

0,22

postcript pdf

ecl-max(x)
== ecl_ind(x;k,test.0;a,b,A,B.if A<

B
== ecl_ind(x;k,test.0;a,b,A,B.else A fi;a,b,A,B.if A<

B
== ecl_ind(x;k,test.0;a,b,A,B.else A fi;a,b,A,B.else A fi;a,b,A,B.if A<

B
== ecl_ind(x;k,test.0;a,b,A,B.else A fi;a,b,A,B.else A fi;a,b,A,B.else A fi;a,A.A;a,m,A.A;a,m,A.if A<

== ecl_ind(x;k,test.0;a,b,A,B.else A fi;a,b,A,B.else A fi;a,b,A,B.else A fi;a,A.A;a,m,A.A;a,m,A.if m
== ecl_ind(x;k,test.0;a,b,A,B.else A fi;a,b,A,B.else A fi;a,b,A,B.else A fi;a,A.A;a,m,A.A;a,m,A.else A fi;a,l,A.A)

latex

Definitions ecl ind, #$n, if b t else f fi, i<j

FDL editor aliases ecl-max

origin

Definitions	ecl ind, #$n, if b t else f fi, i<j
FDL editor aliases	ecl-max